partially computable function

[ˈpɑ:ʃəlɪ kəmˈpju:təbl ˈfʌŋkʃən]
部分可计算的函数